home *** CD-ROM | disk | FTP | other *** search
- /* $Id: pl-main.h,v 1.20 1997/08/07 07:58:15 jan Exp $
-
- Copyright (c) 1990 Jan Wielemaker. All rights reserved.
- See ../LICENCE to find out about your rights.
- jan@swi.psy.uva.nl
-
- Purpose: System dependent parameters
- */
-
- /********************************
- * STRUCTURES *
- ********************************/
-
- typedef struct
- { char *state; /* system's boot file */
- char *startup; /* default user startup file */
- int local; /* default local stack size (K) */
- int global; /* default global stack size (K) */
- int trail; /* default trail stack size (K) */
- int argument; /* default argument stack size (K) */
- int heap; /* default heap size (K) */
- char *goal; /* default initialisation goal */
- char *toplevel; /* default top level goal */
- bool notty; /* use tty? */
- char *arch; /* machine/OS we are using */
- char *home; /* systems home directory */
- } pl_defaults_t;
-
- typedef struct
- { long localSize; /* size of local stack */
- long globalSize; /* size of global stack */
- long trailSize; /* size of trail stack */
- long argumentSize; /* size of argument stack */
- long heapSize; /* size of the heap */
- char * goal; /* initial goal */
- char * topLevel; /* toplevel goal */
- char * initFile; /* -f initialisation file */
- char * systemInitFile; /* -F initialisation file */
- char * compileOut; /* file to store compiler output */
- } pl_options_t;
-
-
- /********************************
- * PARAMETERS *
- ********************************/
-
- #ifndef DEFSTARTUP
- #define DEFSTARTUP ".plrc"
- #endif
- #ifndef SYSTEMHOME
- #define SYSTEMHOME "/usr/local/lib/pl"
- #endif
-
- #ifndef ARCH
- #define ARCH "unknown"
- #endif
- #ifndef OS
- #define OS "unknown"
- #endif
-
- #if O_DYNAMIC_STACKS || O_SHIFT_STACKS
- #define DEF_DEFLOCAL 2000
- #define DEF_DEFGLOBAL 4000
- #define DEF_DEFTRAIL 4000
- #define DEF_DEFHEAP 0 /* unlimited */
- #if O_DYNAMIC_STACKS
- #define DEF_DEFARGUMENT 1000
- #else
- #define DEF_DEFARGUMENT 16
- #endif /*O_DYNAMIC_STACKS*/
- #else /* static stack areas */
- #define DEF_DEFLOCAL 200
- #define DEF_DEFGLOBAL 400
- #define DEF_DEFTRAIL 200
- #define DEF_DEFARGUMENT 16
- #define DEF_DEFHEAP 0 /* unlimited */
- #endif
-
- #ifndef DEFLOCAL
- #define DEFLOCAL DEF_DEFLOCAL
- #endif
- #ifndef DEFGLOBAL
- #define DEFGLOBAL DEF_DEFGLOBAL
- #endif
- #ifndef DEFTRAIL
- #define DEFTRAIL DEF_DEFTRAIL
- #endif
- #ifndef DEFARGUMENT
- #define DEFARGUMENT DEF_DEFARGUMENT
- #endif
- #ifndef DEFHEAP
- #define DEFHEAP DEF_DEFHEAP
- #endif
-